On the Expressive Power of Essence
نویسندگان
چکیده
Essence is a syntactically rich language for specifying search and optimization problems. We show how to applying descriptive complexity theory to study the expressive power of Essence, and present several results on the expressive power of fragments incorporating certain features. The same approach can be applied to a number of other constraint specification or modelling languages. We believe this approach forms is an appropriate theoretical formalization for scientific development and study of constraint modelling languages and the tools and techniques used in their application.
منابع مشابه
On the Expressiveness of Essence
Development of languages for specifying or modelling problems is an important direction in constraint modelling. To provide greater abstraction and modelling convenience, these languages are becoming more syntactically rich, leading to a variety of questions about their expressive power. In this paper, we consider the expressiveness of Essence, a specification language with a rich variety of sy...
متن کاملLogics of Essence and Accident
In the literature, essence is formalized in two different ways, either de dicto, or de re. Following [11], we adopt its de dicto formalization: a formula is essential, if once it is true, it is necessarily true; otherwise, it is accidental. In this article, we study the model theory and axiomatization of the logic of essence and accident, i.e. the logic with essence operator (or accident operat...
متن کاملA Reinterpretation of Patterns to Increase the Expressive Power of Model-Driven Engineering
The model-driven engineering (MDE) paradigm wishes to raise the abstraction level of the user design space, while resting on the automated generation of all lower-level artifacts. Under the MDE approach the focus of verification and validation increasingly verges on models. As a consequence, the expressive power availed to the user is often considerably restricted to ensure that the models are ...
متن کاملCommon knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common kn...
متن کاملThe Effectiveness of Expressive Group Art Therapy on Decreasing Anxiety of Orphaned Children
Objective: The purpose of this study was to examine the effectiveness of expressive arts therapy on decreasing anxiety of orphaned girls living in family-like centers of Mashhad, Iran. Methods: One week prior to final examinations, participants were randomly assigned to either an expressive art-making group or a control group. The State-trait anxiety inventory was administered before and af...
متن کامل